M. Zakharyashev, A. Alekseev; "All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable"